Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings: 936 (Lecture Notes in Computer Science)
by V.S. Alagar,Maurice Nivat
ISBN 13: 9783540600435
Format: Paperback (612 pages) Publisher: Springer Published: 21 May 1995
Save for later
Specification of Software Systems (Texts in Computer Science)
by V.S. Alagar,K. Periyasamy
ISBN 13: 9781447126447
Format: Paperback (672 pages) Publisher: Springer Published: 21 Apr 2013